1. Logic with prolog
پدیدآورنده : Peter Gibbins
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Prolog (Computer program language),Logic programming
رده :
QA
،
76
.
73
،.
P76
,
G53
،
1988
2. Logic with prolog
پدیدآورنده : / Peter gibbins,Gibbins
کتابخانه: Central Library and Documents Center of Tehran University (Tehran)
موضوع : Prolog ( Computer Program language),Logic programming
رده :
QA
76
.
73
.
P76G53
1988
3. Particles and paradoxes: The limits of quantum logic
پدیدآورنده : Gibbins, Peter.
کتابخانه: Latin Specialized Library of Islamic Sciences and Culture Academy (Qom)
موضوع : ، Quantum logic,Philosophy ، Physics
رده :
QC
174
.
12
.
G5P3
4. Particles and paradoxes : the limits of quantum logic
پدیدآورنده : Gibbins, Peter
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Quantum theory
رده :
QC
174
.
12
.
G54
1987
